package com.googlecode.kipler.satisfiability.completion.branching;

public class BacktrackingAlgorithmFactory {
	public static AbstractBacktracking createAlgorithm(BacktrackingAlgorithm alg) {
		AbstractBacktracking result = null;
		switch (alg) {
		case BACKTRACKING:
			result = new Backtracking();
			break;
		case BACKJUMPING:
			result = new Backjumping();
			break;
		}
		return result;
	}
}
